121. 29, 2010. Proceedings-Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27
المؤلف: / Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
122. 15, 2011. Proceedings-Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14
المؤلف: / Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
123. 16, 2010. Proceedings-Motion in Games: Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14
المؤلف: / Demetri Terzopoulos (auth.), Ronan Boulic, Yiorgos Chrysanthou, Taku Komura (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
124. 20, 2011. Proceedings-NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18
المؤلف: / K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
125. 15, 2010. Proceedings-Network and Parallel Computing: IFIP International Conference, NPC 2010, Zhengzhou, China, September 13
المؤلف: / Xiaodong Zhang (auth.), Chen Ding, Zhiyuan Shao, Ran Zheng (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
126. 9, 2011, Proceedings, Part I- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
المؤلف: / mara (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)عnio CلAnt
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
127. 24, 2011. Proceedings, Part I-Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22
المؤلف: / lio Campilho (eds.)فKai Zeng, Zhou Wang (auth.), Mohamed Kamel, Aur
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
128. 9, 2011, Proceedings, Part II- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
المؤلف: / Michael Haller, Christoph Richter, Peter Brandl, Sabine Gross, Gerold Schossleitner (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
129. 27, 2012. Proceedings, Part II-Image Analysis and Recognition: 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25
المؤلف: / lio Campilho, Mohamed Kamel (eds.)فAndreas Uhl, Peter Wild (auth.), Aur
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
130. 24, 2011. Proceedings, Part II-Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22
المؤلف: / lio Campilho (eds.)فa, Jim Murray (auth.), Mohamed Kamel, AurغPedro Quelhas, Jeroen Nieuwland, Walter Dewitte, Ana Maria Mendon
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
131. 15, 2011. Proceedings, Part II-Ubiquitous Computing and Multimedia Applications: Second International Conference, UCMA 2011, Daejeon, Korea, April 13
المؤلف: / hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas (eds.)-Jin Ah Kang, Hong Kook Kim (auth.), Tai
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
132. 23, 2010, Proceedings, Part II-voa de Varzin, Portugal, June 21Image Analysis and Recognition: 7th International Conference, ICIAR 2010, P
المؤلف: / lio Campilho, Mohamed Kamel (eds.)فXiao Dong, Guoyan Zheng (auth.), Aur
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
133. 9, 2011, Proceedings, Part III- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
المؤلف: / lez (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)عa, Pascual Gonzک P. Molina, Arturo S. GarcفY. Lionel Lawson, Jos-nez, JکDiego Mart
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
134. 9, 2011, Proceedings, Part IV- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5ع۰بComputer Interaction -Human
المؤلف: / Yin Choong, Mary Theofanos (auth.), Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler (eds.)-Celeste Lyn Paul, Emile Morse, Aiping Zhang, Yee
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
135. 7, 2011. Proceedings-Photogrammetric Image Analysis: ISPRS Conference, PIA 2011, Munich, Germany, October 5
المؤلف: / Jochen Meidow (auth.), Uwe Stilla, Franz Rottensteiner, Helmut Mayer, Boris Jutzi, Matthias Butenuth (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
136. 4, 2010. Proceedings-Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1
المؤلف: / Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rou, Oleg Sokolsky, Nikolai Tillmann (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
137. 14, 2010. Proceedings- SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11ع۰بTheory and Applications of Satisfiability Testing
المؤلف: / Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
138. 10, 2010. Proceedings-Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8
المؤلف: / Carlos Maldonado (eds.)فo, JosعIna Schieferdecker (auth.), Alexandre Petrenko, Adenilso Sim
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
139. 20, 2011. Proceedings-Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18
المؤلف: / Spaccamela, Michael Segal (eds.)-Shay Kutten (auth.), Alberto Marchetti
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
140. 17, 2011. Proceedings-Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13
المؤلف: / Krzysztof Czarnecki (auth.), Klaus Schmid (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
